Certain formulas equivalent to the axiom of choice.
نویسندگان
چکیده
منابع مشابه
Some Restricted Lindenbaum Theorems Equivalent to the Axiom of Choice
Dzik (1981) gives a direct proof of the axiom of choice from the generalized Lindenbaum extension theorem LET. The converse is part of every decent logical education. Inspection of Dzik’s proof shows that its premise let attributes a very special version of the Lindenbaum extension property to a very special class of deductive systems. The problem therefore arises of giving a direct proof, not ...
متن کاملAll the Filter Stuff in One Place and Several Things Equivalent to the Choice Axiom
Of these definitions, the first and third may make some sense, since the definition of a filter base describes the family C of sets in the “generalized Cantor intersection theorem” except for dropping the requirement that they be closed (which would not make sense in a general set X anyway). The definition of a filter is motivated in two ways. The first is that, since one is only interested in ...
متن کاملThe Axiom of Choice
We propose that failures of the axiom of choice, that is, surjective functions admitting no sections, can be reasonably classified by means of invariants borrowed from algebraic topology. We show that cohomology, when defined so that its usual exactness properties hold even in the absence of the axiom of choice, is adequate for detecting failures of this axiom in the following sense. If a set X...
متن کاملThe Axiom of Choice
We propose that failures of the axiom of choice, that is, surjective functions admitting no sections, can be reasonably classified by means of invariants borrowed from algebraic topology. We show that cohomology, when defined so that its usual exactness properties hold even in the absence of the axiom of choice, is adequate for detecting failures of this axiom in the following sense. If a set X...
متن کاملon the equivalence of constructed-response and multiple-choice : stem-equivalent, stem non-equivalent but content equivalent, and stem and content non-equivalent items in reading comprehension using multifaceted rasch
the present study investigated construct equivalence of multiple choice (mc) and constructed response (cr) item types across stem and content equivalent mc and cr items (item type ‘a’), non-stem-equivalent but content equivalent mc and cr items (item type ‘b’), and non-stem and non-content equivalent mc and cr items (item type ‘c’). one hundred seventy english-major undergraduates completed mc ...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1961
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093956974